- denumerably-valued process
- мат.процесс со счётным пространством состояний
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia